Scientific Programming Dual course of study in Mathematics and Informatics combined with vocational training as MATSE (Mathematical-technical software developer)

Source URL: bruessel.daad.de

• Informatics
• Science
• Geography of Germany
• Knowledge
• Aachen
• FH Aachen
• RWTH Aachen University

A Mathematical Programming View in solving Multi Criteria Decision Aid problems Dr. T. Ganesh Department of Statistics, Pondicherry University, Puducherry In any environment, the main objective is to provide a set of bes

Source URL: www.isichennai.res.in

informs Vol. 35, No. 6, November–December 2005, pp. 531–538 issn
eissn 1526-551X
05
3506
0531 ®

Source URL: www.deafrontier.net

• Applied mathematics
• Mathematics
• Stochastic programming
• Global optimization
• Stochastic optimization
• Quantitative analyst
• Linear programming
• Data envelopment analysis
• Genetic algorithm
• Operations research
• Mathematical optimization
• Science

Recursive Modules for Programming Keiko Nakata Jacques Garrigue Research Institute for Mathematical Sciences,

Source URL: www.kurims.kyoto-u.ac.jp

Monetary Policy Under Uncertainty and Learning

Source URL: larseosvensson.se

• Dynamic programming
• Equations
• Control theory
• Bellman equation
• Optimal design
• Loss function
• Macroeconomic model
• Statistics
• Statistical theory
• Mathematical optimization

Code Factoring in GCC Gábor Lóki, Ákos Kiss, Judit Jász, and Árpád Beszédes Department of Software Engineering Institute of Informatics University of Szeged, Hungary {loki,akiss,jasy,beszedes}@inf.u-szeged.hu

Source URL: gcc.cybermirror.org

• Algorithm
• Mathematical logic
• Theoretical computer science
• GNU Compiler Collection
• C
• Compiler optimization
• Software
• Computing
• Computer programming

This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp

Source URL: www.cs.utah.edu

• Science
• Formal sciences
• Compiler construction
• Mathematical logic
• Proof theory
• Isabelle
• Compiler
• Mathematical proof
• Model checking
• Logic
• Mathematics
• Programming language implementation

eTaSL/eTC: A constraint-based Task Specification Language and Robot Controller using Expression Graphs Erwin Aertbeli¨en and Joris De Schutter Abstract— This paper presents a new framework for constraint-based task sp

Source URL: www.factory-in-a-day.eu

• Computer programming
• Mathematical optimization
• Constraint satisfaction
• Operations research
• Quadratic programming
• Slack variable
• Ada
• Constraint Composite Graph
• Constraint logic programming
• Constraint programming
• Software engineering
• Computing

Appears in Proceedings of VMCAI2013, Springerlink. The final publication is available at http://link.springer.com/chapter%2F978. Its DOI isTool Integration with the

Source URL: cedeela.fr

• Query languages
• Quantification
• Datalog
• Mathematical logic
• Prolog
• Logic programming
• Predicate
• Function
• Resolution
• Logic
• Mathematics
• Computing

First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012

Source URL: cedeela.fr

• Automated theorem proving
• Model theory
• Logic in computer science
• Constraint programming
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability Modulo Theories
• DPLL algorithm
• Interpretation
• Theoretical computer science
• Logic
• Mathematical logic